منابع مشابه
Discovery of Emphysema Relevant Molecular Networks from an A/J Mouse Inhalation Study Using Reverse Engineering and Forward Simulation (REFS™)
Chronic obstructive pulmonary disease (COPD) is a respiratory disorder caused by extended exposure of the airways to noxious stimuli, principally cigarette smoke (CS). The mechanisms through which COPD develops are not fully understood, though it is believed that the disease process includes a genetic component, as not all smokers develop COPD. To investigate the mechanisms that lead to the dev...
متن کاملReverse Engineering is Reverse Forward Engineering
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering perspective, we gain the insight that much of this difficulty is caused by design decisions made during system development. Such decisions “hide” the program functionality and performance requirements in the final system ...
متن کاملReverse-engineering Reverse Mathematics
An important open problem in Reverse Mathematics ([16, 25]) is the reduction of the first-order strength of the base theory from IΣ1 to I∆0 + exp. The system ERNA, a version of Nonstandard Analysis based on the system I∆0 + exp, provides a partial solution to this problem. Indeed, Weak König’s lemma and many of its equivalent formulations from Reverse Mathematics can be ‘pushed down’ into ERNA,...
متن کاملReverse Reverse-Engineering
Reverse engineering a program constructs a high-level representation suitable for various software development purposes such as documentation or reengineering. Unfortunately however, there are no established guidelines to assess the adequacy of such a representation. We propose two such criteria, completeness and accuracy, and show how they can be determined during the course of reversing the r...
متن کاملReverse Engineering
This reprint is provided for personal and noncommercial use. For any other use, please send a request to Permissions,
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Digital Investigation
سال: 2019
ISSN: 1742-2876
DOI: 10.1016/j.diin.2019.07.004